Implementación sobre hardware reconfigurable de una arquitectura no determinista, paralela y distribuida de alto rendimiento, basada en modelos de computación con membranas

Falta palabras clavesEn este documento se presenta el trabajo de tesis doctoral realizado dentro del Programa de Doctorado “Informática Industrial” del Departamento de Tecnología Electrónica de la Universidad de Sevilla. Recoge la investigación centrada en el desarrollo de una implementación en hardware reconfigurable, FPGA, de modelos de computación basados en membranas, también denominados sistemas P. Estos sistemas, de inspiración biológica, son de reciente creación, y tienen aplicaciones directas en procesos de simulación, especialmente de sistemas y procesos biológicos. Se engloban dentro de la computación natural, y se trata de modelos paralelos maximales orientados a máquinas. Este hecho supone un desafío en el desarrollo de implementaciones hardware, ya que es precisa la generación de un diseño diferente para cada problema, incluso para cada instancia. Como consecuencia directa, es necesario el desarrollo de una arquitectura hardware dedicada parametrizada, junto con un desarrollo software, que analice los sistemas de entrada y, en base a sus características, construya un diseño sintetizable dedicado para esa instancia concreta. Además, al ser la disciplina de reciente creación, existen distintos tipos de sistemas P, por lo que es preciso un análisis previo, seguido de una selección, con el propósito de implementar el mayor subconjunto posible de los mismos

Fast Hardware Implementations of Static P Systems

In this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) technology. Its major feature is a high performance, achieving a constant processing time for each transition. Our approach is based on representing all possible applications as words of some regular context-free language. Then, using formal power series it is possible to obtain the number of possibilities and select one of them following a uniform distribution, in a fair and non-deterministic way. According to these ideas, we yield an implementation whose results show an important speed-up, with a strong independence from the size of the P system.Ministry of Science and Innovation of the Spanish Government under the project TEC2011-27936 (HIPERSYS)European Regional Development Fund (ERDF)Ministry of Education of Spain (FPU grant AP2009-3625)ANR project SynBioTI

Long-term on-chip verification of systems with logical events scattered in time

Traditional on-chip and off-chip logic analyzers present important shortcomings when used for the longterm verification of industrial embedded systems, forcing the designer to implement ad hoc verification solutions. This paper introduces a suitable solution for long-term verification of FPGA-based designs consisting of a verification core that uses the PicoBlaze microcontroller, dedicated logic and a serial port communication in order to monitor the internal signals of the system in a continuous way. The core design focuses on low resource requirements and has been successfully applied to the verification of a real industrial synchronization platform showing remarkable advantages over commercial on-chip solutions like Xilinx’s ChipScope Pro. Moreover, in order to improve the reusability of this core a software tool has been developed to automatically include the verification core in any specific system.Ministerio de Educación y Ciencia TEC2007-61802/MI

Building a basic membrane computer

In this work, we present the building of two well-known membrane com- puters (squares generator and divisor test). Although they are very basic machines they present problems common to every P system (competition, parallel execution of rules, membrane dissolution, etc.) that have to be solved in order to get real emulations for them. The presented designs mimic the systems operation in a realistic way, by achieving both maximum parallelism and non-determinism, and demonstrating for the rst time that a membrane computer can actually be built in silico. Our architectures fully emu- late the membranes behaviour yielding to a performance of one transition per clock cycle, supposing a real physical realization of the mentioned machines

Preperitoneal ropivacaine infusion versus epidural ropivacaine–morphine for postoperative analgesia in dogs undergoing ovariohysterectomy: a randomized clinical trial

Objective To assess the effect of continuous wound infusion (CWI) with preperitoneal ropivacaine on postoperative analgesia and compare it with the epidural administration of ropivacaine and morphine in bitches undergoing ovariohysterectomy. Study design A parallel, randomized, clinical, prospective and nonblinded study. Animals A group of 38 Greyhound bitches. Methods In the catheter group (CathG), CWI with ropivacaine 1% (1 mg kg–1 + 0.8 mg kg–1 hour–1) was applied to the preperitoneal space over the surgical incision. In the epidural group (EpiG), ropivacaine 0.5% (1.3 mg kg–1) and morphine (0.1 mg kg–1) were epidurally administered. Occipital-coccygeal length was used to calculate the volume for the epidural. Pain was scored using a dynamic interactive visual analogue scale (DIVAS) and Glasgow composite measure pain scale–short form (CMPS-SF) before anaesthesia and at 2, 4, 6, 18, 21 and 24 hours after extubation. Incisional sensitivity using a dynamometer (MWTs-incision) was evaluated simultaneously. Plasma ropivacaine and cortisol concentrations, degree of sedation, motor blockade and response to interdigital clamping were measured or assessed. A two-way mixed analysis of variance and a Mann–Whitney U test were used to analyse data; p < 0.05. Results No differences were detected in the DIVAS (p = 0.301), CMPS-SF (p = 0.600) scores, MWTs-incision measurements (p = 0.257) and cortisol values (p = 0.878) between the groups. Rescue analgesia was required in two dogs, one in each group, at 2 hours. Sedation, motor blockade and negative response to interdigital clamping were detected in EpiG at 2, 4 and 6 hours. Mean plasma ropivacaine values were higher in CathG (0.475 ± 0.164 ng mL–1) than in EpiG (0.184 ± 0.213 ng mL–1; p = 0.001). Conclusion and clinical relevance Compared with epidural ropivacaine and morphine, CWI with preperitoneal ropivacaine is an effective analgesic technique for postoperative pain management in bitches undergoing ovariohysterectomy without motor blockade

Parasympathetic Tone Changes in Anesthetized Horses after Surgical Stimulation, and Morphine, Ketamine, and Dobutamine Administration

Autonomic nervous system (ANS) activity can modify cardiovascular parameters in response to nociceptive stimuli or drugs in anesthetized animals. The aim of this study was to determine if a surgical nociceptive stimulus and morphine, ketamine, and dobutamine administration would modify ANS activity observed as a change in the mean parasympathetic tone activity (PTAm) in anesthetized horses. In 20 anesthetized horses, heart rate (HR), mean arterial pressure (MAP), and PTAm were monitored before and 1, 3, and 5 min after surgical incision, and before and 10 min after the administration of morphine (0.2 mg/kg IV). If nystagmus or spontaneous ventilation was observed, ketamine (0.5 mg/kg IV) was given, and the three variables were registered before and 3 and 5 min afterward. If MAP reached ≤ 62 mmHg, a dobutamine infusion was administered, and the three variables were recorded before and 5 min after starting/increasing the infusion (0.25 μg/kg/min IV every 5 min). The three variables were registered before and 1, 3, and 5 min after a PTAm decrease of ≥ 20%, HR increase of ≥ 10%, or MAP increase of ≥ 20%. The PTAm decreased 3 min after the administration of ketamine and 1 min after a PTA event. The surgical incision, dobutamine, and morphine did not modify PTAm. The absence of changes in ANS activity after the nociceptive stimulus and lack of correlation between PTAm and HR or MAP suggest that PTAm is a poor indicator of sympathetic activation under the study conditions. Ketamine seems to affect ANS activity by decreasing PTAm

Immunohistochemical analysis of knee chondral defect repair after autologous particulated cartilage and platelet-rich plasma treatment in sheep

This study performs an analysis that will enable the evaluation of the quality, durability, and structure of repaired cartilaginous extracellular matrix tissue using an autologous-based particulated autograft cartilage and platelet-rich plasma treatment (PACI + PRP). A single-blind controlled experiment was conducted on 28 sheep to evaluate the efficacy of the PACI + PRP treatment for cartilage defects. Full-thickness 8 mm diameter defects were created in the weight-bearing area of both knees. The right knees received PACI + PRP. The left knees were treated with Ringer’s lactate solution (RLS) or hyaluronic acid (HA) injections. Sheep were euthanized at 9- or 18-months post-surgery. An extensive immunohistochemical analysis was performed to assess collagen types (I, II, III, V, VI, IX, X, XI) and aggrecan positivity. A semiquantitative scoring system provided a detailed evaluation of immunostaining. Collagens and aggrecan scores in the PACI + PRP groups were similar to healthy cartilage. Significant differences were found in collagens associated with matrix maturity (II and V), degradation (IX), structure and mechanics (VI), and hypertrophy (X) between healthy cartilage and RLS- or HA-repaired cartilage. The PACI + PRP treatment advanced the repair cartilage process in chondral defects with mature hyaline cartilage and enhanced the structural and mechanical qualities with better consistent cartilage, less susceptible to degradation and without hypertrophic formation over tim

Aplicación de la Virtualización al estudio de técnicas de Calidad de Servicio - QoS

Este trabajo abarca la aplicación de técnicas de calidad de servicio en redes de conmutación de paquetes. Para ello se presenta una metodología basada en técnicas de virtualización. Con ello se aporta al alumno un enfoque muy práctico y un entorno fácilmente accesible, todo ello desde un punto de vista adecuado a la titulación de Grado en Ingeniería Informática, Tecnologías de la Información.Ministerio de Ciencia e Innovación TEC2011-27936 (HIPERSYS

Cut-offs and response criteria for the Hospital Universitario la Princesa Index (HUPI) and their comparison to widely-used indices of disease activity in rheumatoid arthritis

Objective To estimate cut-off points and to establish response criteria for the Hospital Universitario La Princesa Index (HUPI) in patients with chronic polyarthritis. Methods Two cohorts, one of early arthritis (Princesa Early Arthritis Register Longitudinal PEARL] study) and other of long-term rheumatoid arthritis (Estudio de la Morbilidad y Expresión Clínica de la Artritis Reumatoide EMECAR]) including altogether 1200 patients were used to determine cut-off values for remission, and for low, moderate and high activity through receiver operating curve (ROC) analysis. The areas under ROC (AUC) were compared to those of validated indexes (SDAI, CDAI, DAS28). ROC analysis was also applied to establish minimal and relevant clinical improvement for HUPI. Results The best cut-off points for HUPI are 2, 5 and 9, classifying RA activity as remission if =2, low disease activity if >2 and =5), moderate if >5 and <9 and high if =9. HUPI''s AUC to discriminate between low-moderate activity was 0.909 and between moderate-high activity 0.887. DAS28''s AUCs were 0.887 and 0.846, respectively; both indices had higher accuracy than SDAI (AUCs: 0.832 and 0.756) and CDAI (AUCs: 0.789 and 0.728). HUPI discriminates remission better than DAS28-ESR in early arthritis, but similarly to SDAI. The HUPI cut-off for minimal clinical improvement was established at 2 and for relevant clinical improvement at 4. Response criteria were established based on these cut-off values. Conclusions The cut-offs proposed for HUPI perform adequately in patients with either early or long term arthritis